Software aspects of strategic defense systems
- 2025-09-13
- 출판일: 1985-06-28
- 저자: David Parnas
SDI, 소위 “스타워즈 프로젝트”가 필요로 하는 소프트웨어 시스템이 만들어질 수 없는 이유에 대한 8가지 에세이 모음.
On 28 lune 2985, David Large Parnas, a respected computer scientist who has consulted extensively on United States defense projects, resigned from the Panel on Computing in Support of Battle Management, convened by the Strategic Defense lnitiative Organization (SDIO). With his letter ofresignation, he submitted eight short essays explaining why he believed the software required by the Strategic Defense Initiative would not be trustworthy. Excerpts from Dr. Parnas’s letter and the accompanying papers have appeared widely in the p.yess. The Editors of American Scientist believed that it would be useful to the scientific community to publish these essa,ys in their entirety to stimulate scientific discussion of the feasibility of the project. As part of the activity of the Forum on Risks to the Public in the use ofcomputer systems the Editors of Communications are pleased to reprint these essays.
web.stanford.edu/class/cs99r/readings/parnas1.pdf#page=1.36
에세이 목차:
- The fundamental technological differences between software engineering and other areas of engineering and why software is unreliable
- The properties of the proposed SDI software that make it unattainable
- Why the techniques commonly used to build military software are inadequate for this job
- The nature of research in software engineering, and why the improvements that it can effect will not be sufficient to allow construction of a truly reliable strategic defense system
- Why I do not expect research in artificial intelligence to help in building reliable military software;
- Why I do not expect research in automatic programming to bring about the substantial improvements that are needed
- Why military funding of research in software and other aspects of computing science is inefficient and ineffective.
메모
이 에세이가 쓰이고 약 40년이 지났다(2025년 기준). 당시에 비교해 주요하게 바뀐 점들: